Devbox Plugin

code:devbox.json

{

"include": [

"plugin:nginx"

]

}

built-in pluginsというのが元々用意されているのね

Apache (apacheHttpd)

Caddy (caddy)

Nginx (nginx)

Node.js (nodejs, nodejs-slim)

MariaDB (mariadb, mariadb_10_6...)

MySQL (mysql80, mysql57)

PostgreSQL (postgresql)

Redis (redis)

PHP (php, php80, php81, php82...)

Pip (python39Packages.pip, python310Packages.pip, python311Packages.pip...)

Ruby(ruby, ruby_3_1, ruby_3_0...)

ここに一覧がある

haskellとかもあるねmrsekut.icon

この辺をλ devbox addすると自動的にpluginが有効にアンル

例えば、$ devbox add nginxするとNginxのpluginが入る

これは、ただNginxが入るだけでなくnginx.confのようなデフォルトの設定ファイルの生成まで行う

パッケージがデーモンやバックグラウンドサービスとして実行できる場合、Devboxはそのサービスをdevbox servicesで設定および管理できます。

local plugin

code:devbox.json

"include": [

"path:./path/to/plugin.json"

]

github host上のplugin

code:devbox.json

"include": [

"github:<org>/<repo>?dir=<plugin-dir>"

]

自分で作る

https://gyazo.com/a42994130e40f732c4210ccde117383a